Kim, Insup: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

SAE Technical Paper Series [SAE International SAE 2016 World Congress and Exhibition - (APR. 12, 2016)] SAE Technical Paper Series - Platform-Based Automotive Safety Features

Gangadharan, Deepak, Sokolsky, Oleg, Lee, Insup, Kim, BaekGyu, Lin, Chung-Wei, Shiraishi, Shinichi

Year:

2016

Language:

english

File:

PDF, 995 KB

english, 2016

2

Configuration Analysis of Plug-in Hybrid Systems using Global Optimization

Kim, Insup, Kim, Hyunsup

Journal:

World Electric Vehicle Journal

Year:

2013

Language:

english

File:

PDF, 792 KB

english, 2013

3

Application of Small Punch Test to Evaluate Sigma-Phase Embrittlement of Pressure Vessel Cladding Material

LEE, JooSuk, KIM, InSup, KIMURA, Akihiko

Journal:

Journal of Nuclear Science and Technology

Year:

2003

Language:

english

File:

PDF, 214 KB

english, 2003

4

Surface modification of a polytetrafluoroethylene film with cyclotron ion beams and its evaluation

Yoon Jeong Choi, Mi Sook Kim, Insup Noh

Journal:

Surface and Coatings Technology

Year:

2007

Language:

english

File:

PDF, 811 KB

english, 2007

5

Synthesis andin vitrocharacterizations of porous carboxymethyl cellulose-poly(ethylene oxide) hydrogel film

Lee, Su Yeon, Bang, Sumi, Kim, Sumi, Jo, Seong Yeon, Kim, Bum-Chul, Hwang, Yunjae, Noh, Insup

Journal:

Biomaterials Research

Year:

2015

Language:

english

File:

PDF, 2.13 MB

english, 2015

6

[IEEE 2018 IEEE 11th International Conference on Cloud Computing (CLOUD) - San Francisco, CA (2018.7.2-2018.7.7)] 2018 IEEE 11th International Conference on Cloud Computing (CLOUD) - Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges

Gangadharan, Deepak, Sokolsky, Oleg, Lee, Insup, Kim, BaekGyu, Lin, Chung-Wei, Shiraishi, Shinichi

Year:

2018

Language:

english

File:

PDF, 9 KB

english, 2018

7

[IEEE 2005 IEEE 61st Vehicular Technology Conference - Stockholm, Sweden (30-01 May 2005)] 2005 IEEE 61st Vehicular Technology Conference - End-to-end Application Performance Impact on Scheduler in CDMA-1XRTT Wireless System

Bong Ho Kim,, Insup Lee,, Kelvin Chu,

Year:

2005

Language:

english

File:

PDF, 240 KB

english, 2005

8

The properties of stuttered words

Insup Kim Taylor

Journal:

Journal of Verbal Learning and Verbal Behavior

Year:

1966

Language:

english

File:

PDF, 490 KB

english, 1966

9

Mechanism of albumin release from alginate and chitosan beads fabricated in dual layers

Yun Sik Nam, Min Soo Bae, Sungwon Kim, Insup Noh, Jun Kyo Francis Suh, Kang Bong Lee, Il Keun Kwon

Journal:

Macromolecular Research

Year:

2011

Language:

english

File:

PDF, 975 KB

english, 2011

10

Synthesis and evaluation of hyaluronic acid–poly(ethylene oxide) hydrogel via Michael-type addition reaction

Gun-Woo Kim, Yoon-Jeong Choi, Mi-Sook Kim, Yongdoo Park, Kyu-Back Lee, In-Sook Kim, Soon-Jung Hwang, Insup Noh

Journal:

Current Applied Physics

Year:

2007

Language:

english

File:

PDF, 505 KB

english, 2007

11

An Anatomy of Words Used in a Word-Matching Phonetic Symbolism Experiment

Taylor, Insup Kim

Journal:

The Journal of General Psychology

Year:

1967

Language:

english

File:

PDF, 339 KB

english, 1967

12

Control of chitosan molecular weight with cyclotron ion beam irradiation

Mi-Sook Kim, Yoon-Jeong Choi, Insup Noh

Journal:

Journal of Physics and Chemistry of Solids

Year:

2008

Language:

english

File:

PDF, 215 KB

english, 2008

13

Analysis of chitosan irradiated with high-energy cyclotron ion beams

Mi-Sook Kim, Yoon-Jeong Choi, Han Sang Park, Insup Noh

Journal:

Journal of Physics and Chemistry of Solids

Year:

2008

Language:

english

File:

PDF, 228 KB

english, 2008

14

Java-MaC: A Run-Time Assurance Approach for Java Programs

MoonZoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 316 KB

english, 2004

15

Modulation of biomechanical properties of hyaluronic acid hydrogels by crosslinking agents

Choi, Sung Chul, Yoo, Mi Ae, Lee, Su Yeon, Lee, Hyun Ji, Son, Dong Hoon, Jung, Jessica, Noh, Insup, Kim, Chan-Wha

Journal:

Journal of Biomedical Materials Research Part A

Year:

2015

Language:

english

File:

PDF, 1.43 MB

english, 2015

16

[IEEE The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. - Toronto, Canada (May6 27-30, 2003)] The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings. - Modular code generation from hybrid automata based on data dependency

Jesung Kim,, Insup Lee,

Year:

2003

Language:

english

File:

PDF, 435 KB

english, 2003

17

Preparation and characterization of calcium phosphate cement ofα-tricalcium phosphate-tetracalcium phosphate-dicalcium phosphate system incorporated with poly(γ-glutamic acid)

Young Baek Kim, Byung Min Lee, Myung Chul Lee, Insup Noh…

Journal:

Macromolecular Research

Year:

2013

Language:

english

File:

PDF, 923 KB

english, 2013

18

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - Safety-assured development of the GPCA infusion pump software

Kim, BaekGyu, Ayoub, Anaheed, Sokolsky, Oleg, Lee, Insup, Jones, Paul, Zhang, Yi, Jetley, Raoul

Year:

2011

Language:

english

File:

PDF, 2.38 MB

english, 2011

19

Comparison of several styles of typography in English.

Coleman, Edmund B., Kim, Insup

Journal:

Journal of Applied Psychology

Year:

1961

Language:

english

File:

PDF, 1.30 MB

english, 1961

20

[ACM Press the 18th International ACM SIGSOFT Symposium - Montréal, QC, Canada (2015.05.04-2015.05.08)] Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering - CBSE '15 - Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context

Kim, Jin Hyun, Boudjadar, Abdeldjalil, Nyman, Ulrik, Mikučionis, Marius, Larsen, Kim G., Skou, Arne, Lee, Insup, Thi Xuan Phan, Linh

Year:

2015

Language:

english

File:

PDF, 1.76 MB

english, 2015

21

[IEEE 2018 UKACC 12th International Conference on Control (CONTROL) - Sheffield (2018.9.5-2018.9.7)] 2018 UKACC 12th International Conference on Control (CONTROL) - Model-Based Design of PHEV Adaptive Control

Guillermo, Garcia, Bo, Gao, Bill Insup, Kim, Matthias, Wellers, Tommi, Jokela

Year:

2018

Language:

english

File:

PDF, 7 KB

english, 2018

22

Synthesis and characterization of in situ chitosan-based hydrogel via grafting of carboxyethyl acrylate

Mi-Sook Kim, Yoon-Jeong Choi, Insup Noh, Giyoong Tae

Journal:

Journal of Biomedical Materials Research Part A

Year:

2007

Language:

english

File:

PDF, 324 KB

english, 2007

23

[IEEE 2013 World Electric Vehicle Symposium and Exhibition (EVS27) - Barcelona, Spain (2013.11.17-2013.11.20)] 2013 World Electric Vehicle Symposium and Exhibition (EVS27) - Configuration analysis of plug-in hybrid systems using global optimization

Kim, Insup, Kim, Hyunsup

Year:

2013

Language:

english

File:

PDF, 2.62 MB

english, 2013

24

[IEEE 2015 IEEE Real-Time Systems Symposium (RTSS) - San Antonio, Texas (2015.12.1-2015.12.4)] 2015 IEEE Real-Time Systems Symposium - Platform-Specific Code Generation from Platform-Independent Timed Models

Kim, BaekGyu, Feng, Lu, Sokolsky, Oleg, Lee, Insup

Year:

2015

Language:

english

File:

PDF, 485 KB

english, 2015

25

Diffusion of bioactive molecules through the walls of the medial tissue-engineered hybrid ePTFE grafts for applications in designs of vascular tissue regeneration

Insup Noh, Yoon-Jeong Choi, Youngsook Son, Chun-Ho Kim, Seung-Hwa Hong, Choong-Man Hong, In-Soo Shin, Sue-Nie Park, Beom-Young Park

Journal:

Journal of Biomedical Materials Research Part A

Year:

2006

Language:

english

File:

PDF, 1.19 MB

english, 2006

26

A platform technique for growth factor delivery with novel mode of action

Kim, Nam Hee, Cha, Yong Hoon, Kim, Hyun Sil, Lee, Soo Eon, Huh, Jong-Ki, Kim, Jung Kook, Kim, Jeong Moon, Ryu, Joo Kyung, Kim, Hee-Jin, Lee, Yoonmi, Lee, Su Yeon, Noh, Insup, Li, Xiao-Yan, Weiss, Step

Journal:

Year:

2014

Language:

english

File:

PDF, 2.30 MB

english, 2014

27

[ACM Press the 2003 ACM SIGPLAN conference - San Diego, California, USA (2003.06.11-2003.06.13)] Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems - LCTES '03 - Generating embedded software from hierarchical hybrid models

Alur, Rajeev, Ivancic, Franjo, Kim, Jesung, Lee, Insup, Sokolsky, Oleg

Year:

2003

Language:

english

File:

PDF, 348 KB

english, 2003

28

Phonetic symbolism in four unrelated languages.

Taylor, Insup Kim, Taylor, Maurice M.

Journal:

Canadian Journal of Psychology Revue Canadienne de Psychologie

Year:

1962

Language:

english

File:

PDF, 719 KB

english, 1962

29

Development and physicochemical evaluation of chondroitin sulfate-poly(ethylene oxide) hydrogel

Seongyeon Jo, Doyeon Kim, Junghoon Woo, Gilwon Yoon, Yong Doo Park, Giyoong Tae, Insup Noh

Journal:

Macromolecular Research

Year:

2011

Language:

english

File:

PDF, 1.01 MB

english, 2011

30

[ACM Press the 2nd Conference - San Diego, California (2011.10.10-2011.10.13)] Proceedings of the 2nd Conference on Wireless Health - WH '11 - Demo of the medical device dongle

Asare, Philip, Cong, Danyang, Vattam, Santosh G., Kim, BaekGyu, Sokolsky, Oleg, Lee, Insup, Lin, Shan, Mullen-Fortino, Margaret

Year:

2011

Language:

english

File:

PDF, 1.12 MB

english, 2011

31

[IEEE 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Daegu, South Korea (2016.8.17-2016.8.19)] 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper)

Gangadharan, Deepak, Kim, Jin Hyun, Sokolsky, Oleg, Kim, BaekGyu, Lin, Chung-Wei, Shiraishi, Shinichi, Lee, Insup

Year:

2016

Language:

english

File:

PDF, 676 KB

english, 2016

32

Major Clues and Pitfalls in the Differential Diagnosis of Parathyroid and Thyroid Lesions Using Fine Needle Aspiration Cytology

Ha, Hwa Jeong, Kim, Eun Ju, Kim, Jung-Soon, Shin, Myung-Soon, Noh, Insup, Park, Sunhoo, Koh, Jae Soo, Lee, Seung-Sook

Journal:

Year:

2020

File:

PDF, 3.38 MB

2020

33

Alumina-composites made by reactive infiltration of molten aluminum alloy into fibrous insulation board

Il-Soo Kim, Insup Lee

Journal:

Journal of Materials Science Letters

Year:

1999

Language:

english

File:

PDF, 387 KB

english, 1999

34

Verisim: formal analysis of network simulations

Bhargavan, K., Gunter, C.A., Moonjoo Kim, Insup Lee, Obradovic, D., Sokolsky, O., Viswanathan, M.

Journal:

IEEE Transactions on Software Engineering

Year:

2002

Language:

english

File:

PDF, 463 KB

english, 2002

35

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 5311 || Decidable Compositions of O-Minimal Automata

Cha, Sungdeok (Steve), Choi, Jin-Young, Kim, Moonzoo, Lee, Insup, Viswanathan, Mahesh

Year:

2008

Language:

english

File:

PDF, 351 KB

english, 2008

36

[ACM Press the 2nd ACM SIGHIT symposium - Miami, Florida, USA (2012.01.28-2012.01.30)] Proceedings of the 2nd ACM SIGHIT symposium on International health informatics - IHI '12 - The medical device dongle

Asare, Philip, Cong, Danyang, Vattam, Santosh G., Kim, BaekGyu, King, Andrew, Sokolsky, Oleg, Lee, Insup, Lin, Shan, Mullen-Fortino, Margaret

Year:

2012

Language:

english

File:

PDF, 3.54 MB

english, 2012

37

[ACM Press the 2012 ACM workshop - Helsinki, Finland (2012.08.13-2012.08.13)] Proceedings of the 2012 ACM workshop on Medical communication systems - MedCOMM '12 - Toward a safe integrated clinical environment

Foo Kune, Denis, Venkatasubramanian, Krishna, Vasserman, Eugene, Lee, Insup, Kim, Yongdae

Year:

2012

Language:

english

File:

PDF, 473 KB

english, 2012

38

Effects of Electron Beam Irradiation on PZT/PLZT Thin Film Capacitors

Jiang, Bo, Kim, Jiyoung, Khamankar, Rajesh, Lee, Insup, Lee, Jack C.

Journal:

MRS Proceedings

Year:

1994

Language:

english

File:

PDF, 1.13 MB

english, 1994

39

Testing and Monitoring Model-based Generated Program

Li Tan, Jesung Kim, Insup Lee

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 297 KB

english, 2003

40

[IEEE 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004. - Las Vegas, NV, USA (Nov. 8-10, 2004)] Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004. - Model-based testing and monitoring for hybrid embedded systems

Li Tan,, Jesung Kim,, Sokolsky, O., Insup Lee,

Year:

2004

Language:

english

File:

PDF, 656 KB

english, 2004

41

A highly selective CHEF-type chemosensor for monitoring Zn 2+ in aqueous solution and living cells

Lee, Jae Jun, Lee, Seul Ah, Kim, Hyun, Nguyen, LeTuyen, Noh, Insup, Kim, Cheal

Journal:

Year:

2015

Language:

english

File:

PDF, 1.89 MB

english, 2015

42

[ACM Press the International Symposium - Portland, Oregon, United States (2000.08.21-2000.08.24)] Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 - Verisim

Bhargavan, Karthikeyan, Gunter, Carl A., Kim, Moonjoo, Lee, Insup, Obradovic, Davor, Sokolsky, Oleg, Viswanathan, Mahesh

Year:

2000

Language:

english

File:

PDF, 318 KB

english, 2000

43

[ACM Press the 5th ACM international conference - Jersey City, NJ, USA (2005.09.18-2005.09.22)] Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05 - Distributed-code generation from hybrid systems models for time-delayed multirate systems

Anand, Madhukar, Fischmeister, Sebastian, Kim, Jesung, Lee, Insup

Year:

2005

Language:

english

File:

PDF, 114 KB

english, 2005

44

The Effect of Hold Time on Low Cycle Fatigue Behavior of 2 1/4Cr-1Mo Steel.

Chi, Sehwan, Suzuki, Masahide, Nishi, Hiroshi, Eto, Motokuni, Kim, Insup

Journal:

ISIJ International

Year:

1992

Language:

english

File:

PDF, 1.37 MB

english, 1992

45

Optimizing the resource requirements of hierarchical scheduling systems

Kim, Jin Hyun, Legay, Axel, Traonouez, Louis-Marie, Boudjadar, Abdeldjalil, Nyman, Ulrik, Larsen, Kim G., Lee, Insup, Choi, Jin-Young

Journal:

ACM SIGBED Review

Year:

2016

Language:

english

File:

PDF, 1.38 MB

english, 2016

46

A design framework for real-time embedded systems with code size and energy constraints

Lee, Sheayun, Shin, Insik, Kim, Woonseok, Lee, Insup, Min, Sang Lyul

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2008

Language:

english

File:

PDF, 371 KB

english, 2008

47

Pink1 deficiency attenuates astrocyte proliferation through mitochondrial dysfunction, reduced akt and increased p38 mapk activation, and downregulation of egfr

Choi, Insup, Kim, Jun, Jeong, Hey-Kyeong, Kim, Beomsue, Jou, Ilo, Park, Sang Myun, Chen, Linan, Kang, Un-Jung, Zhuang, Xiaoxi, Joe, Eun-hye

Journal:

Year:

2013

Language:

english

File:

PDF, 2.76 MB

english, 2013

48

Purification and biocompatibility of fermented hyaluronic acid for its applications to biomaterials

Choi, Sungchul, Choi, Woncheol, Kim, Sekweon, Lee, Su-Yeon, Noh, Insup, Kim, Chan-Wha

Journal:

Biomaterials Research

Year:

2014

Language:

english

File:

PDF, 1.34 MB

english, 2014

49

A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems

Hanene Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young Si Kim, Insup Lee, Hong-Liang Xie

Journal:

Real-Time Systems

Year:

1998

Language:

english

File:

PDF, 745 KB

english, 1998

50

Generating embedded software from hierarchical hybrid models

Alur, Rajeev, Ivancic, Franjo, Kim, Jesung, Lee, Insup, Sokolsky, Oleg

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 348 KB

english, 2003

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски